Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
671	INTERACTIVE CONSTRAINT-BASED SEARCH AND REPLACE David Kurlander Steven Feiner Department of Computer Science Columbia University New York, NY 10027 Add to Reading List Source URL: kurlander.net Language: English - Date: 2008-06-20 13:22:22 Constraint Computing Constraint programming Mathematical optimization Declarative programming
672	Don’t care in SMT—Building flexible yet efficient abstraction/refinement solvers1 Andreas Bauer∗ , Martin Leucker∗∗, Christian Schallhart∗∗, Michael Tautschnig∗∗ ∗ ∗∗ Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2007-11-26 20:10:39 Mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem Constraint satisfaction problem Solver Theoretical computer science Constraint programming Applied mathematics
673	Global and reactive routing in urban context: first experiments / first difficulty assessment Pen´elope A. Melgarejo IBM, France Thomas Baudel IBM, France Add to Reading List Source URL: thomas.baudel.name Language: English - Date: 2012-10-30 16:43:40 Computational complexity theory Travelling salesman problem Linear programming Optimization problem Mathematical optimization Constraint programming Shortest path problem Theoretical computer science Mathematics Operations research
674	Tool-support for the analysis of hybrid systems and models Andreas Bauer Markus Pister Michael Tautschnig Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2012-10-30 05:38:27 Operations research Constraint programming Logic in computer science Electronic design automation Formal methods Satisfiability Modulo Theories Solver Boolean satisfiability problem Constraint satisfaction Theoretical computer science Applied mathematics Mathematics
675	Towards a General Framework for Program Generation in Creative Domains Marc Hull Department of Computing Imperial College 180 Queen’s Gate London Add to Reading List Source URL: www.thepaintingfool.com Language: English - Date: 2013-10-24 13:18:46 Constraint programming Mathematical optimization Cybernetics Mathematics Search algorithms Genetic algorithm Genetic programming Evolutionary algorithm Tree Operations research Science Applied mathematics
676	@ Computer Graphics, Volume 22, Number 4, August 1988 A Modeling System Based On Dynamic Constraints Rouen Barzel Add to Reading List Source URL: www.ronenbarzel.org Language: English - Date: 2006-10-19 16:54:58 Science Classical mechanics Kinematics Dynamical systems Mechanics Constraint algorithm Constraint logic programming Physics Mathematics Constraint programming
677	c o m p u t e r s & s e c u r i t y[removed]2 9 3 e3 0 4 Available online at www.sciencedirect.com ScienceDirect journal homepage: www.elsevier.com/locate/cose Add to Reading List Source URL: all.net Language: English - Date: 2014-08-05 08:18:56 Business Scheduling algorithms Technology Scheduling Mathematical optimization Applied mathematics Genetic algorithm scheduling Nurse scheduling problem Operations research Planning Constraint programming
678	Multilingual Dependency Learning: Exploiting Rich Features for Tagging Syntactic and Semantic Dependencies Add to Reading List Source URL: www.mt-archive.info Language: English - Date: 2010-03-11 09:16:32 Parsing Treebank SYNTAX Parse tree Syntactic predicate Constraint Grammar Linguistics Computational linguistics Programming language implementation
679	Developing a Formal Semantics for Babelsberg: A Step-by-Step Approach Tim Felgentreff, Todd Millstein, and Alan Borning VPRI Technical Report TR-2014-002a Add to Reading List Source URL: www.vpri.org Language: English - Date: 2015-03-04 14:17:47 Computing Mathematical optimization Logic programming Constraint logic programming Programming paradigms Constraint Prolog Constraint satisfaction Constraint optimization Constraint programming Software engineering Computer programming
680	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Constraint programming Satisfiability Modulo Theories Isabelle Proof assistant Automated reasoning E theorem prover Theoretical computer science Applied mathematics Mathematics

UPDATE